...

isbat köməkçiləri

| proqramlama
460 | 2 | 2

əjdahalar googlla
sözaltı günlük - sözaltı etiraf - grigori perelman - məhəmməd əmin rəsulzadə ensiklopediyası - riyaziyyat - kakeya hipotezi - dörd ölçülü hamar puankare hipotezi - oesterle-masser hipotezi - yeni başlayanlar üçün elmi məqalə oxuma rəhbəri - peer-review

💛

Yalnız deyilsən!

Bu duyğuların müvəqqəti olduğunu və kömək mövcud olduğunu bilmək vacibdir. Dostlarınıza, ailənizə, profesionallara müraciət etməyiniz vacibdir. Sizi dinləmək və lazım olan dəstəyi təmin etmək istəyən insanlar var.

Sözlük yazarları olaraq səni hər zaman dinləyə bilərik.

Əgər yalnız hiss edirsənsə, qaynar xəttə zəng et:

☎ 860

1. coq və s. kimiləri olan və riyaziyyat teoremlərininin isbatlarını kompyuter proqramlaşdırma dillərinə çevirə bildiyimiz və bununla da asanlıqla isbatın doğru olub olmadığını yoxlaya biləcəyimiz vasitələr. voevodsky tərəfindən yaradılmış və topologiyadakı homotopiya anlayışına söykənən homotopy type theory hal-hazırda bu isbat köməkçiləri ilə işləmək üçün ən rahat namizəd nəzəriyyədir. azca kompyuter bilgisi, az-maz topologiya bilən varsa bu kitabı oxusun: https://www.heidelberg-laureate-forum.org/wp-content/uploads/2013/10/homotopy-type-theory_univalent-foundations-of-mathematics.pdf

qeyd. homotopiya haqda asan öyrənmək üçün buyurun:

(youtube:

)